Automatically inferring technology compatibility with an ontology and graph rewriting rules
نویسندگان
چکیده
منابع مشابه
Parallel Graph Rewriting with Overlapping Rules
We tackle the problem of simultaneous transformations of networks represented as graphs. Roughly speaking, one may distinguish two kinds of simultaneous or parallel rewrite relations over complex structures such as graphs: (i) those which transform disjoint subgraphs in parallel and hence can be simulated by successive mere sequential and local transformations and (ii) those which transform ove...
متن کاملTranslation of Biomedical Terms by Inferring Rewriting Rules
This chapter presents a simple yet efficient approach to translate automatically unknown biomedical terms from one language into another. This approach relies on a machine learning process able to infer rewriting rules from examples, that is, from a list of paired terms in two studied languages. Any new term is then simply translated by applying the rewriting rules to it. When different transla...
متن کاملInferring Network Invariants Automatically
Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P , a network invariant for P is a system that abstracts the composition of every number of copies of P running in parallel. If there is such a network invariant, by reasoning about it, uniform verification with respect to the family P [1] ‖ · · · ‖ P [n] can be carried out. ...
متن کاملAutomatically Inferring Database Schemas
The goal of this research is to investigate the possibility of automatically inferring a database schema. Our motivation is to make the task of the database designer easier. We require the designer only to provide a picture of how s/he expects the database to be used. This is provided in the form of natural language queries which the database might be expected to answer. The system synthesises ...
متن کاملActive Graph Rewriting Rules for Modeling Multi-Agent Organizational Dynamics
The field of multi agen systems’ (MAS) organizational design deals with providing methods for building organizational architecture of MAS organizations. Herein, an active graph grammar (AGG) formalism, inspired by current research in graph and active database theory is introduced and applied to modeling MAS organizational structure. By defining organizational units in a recursive way, it is sho...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Engineering Design
سال: 2020
ISSN: 0954-4828,1466-1837
DOI: 10.1080/09544828.2020.1860202